Function model - PDFSEARCH.IO - Document Search Engine

Function model
Results: 1865

#	Item
501	A Function-Based Data Model for Visualization Lloyd A. Treinish IBM Thomas J. Watson Research Center Yorktown Heights, NY Add to Reading List Source URL: nssdc.gsfc.nasa.gov Language: English - Date: 2000-02-28 14:56:38 Infographics Scientific modeling Visualization Computing Statistics Data model IBM OpenDX Scientific visualization Geographic information system Science Computational science Computer graphics
502	Abductive Logic Programming by Nonground Rewrite Systems Fangzhen Lin Jia-Huai You Department of Computer Science Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2008-04-09 23:20:46 Predicate logic Model theory Quantification First-order logic Structure Integration by substitution FO Function Abductive logic programming Logic Mathematics Mathematical logic
503	Small Formulas for Large Programs: On-line Constraint Simplification in Scalable Static Analysis Isil Dillig Thomas Dillig Alex Aiken Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2010-05-07 20:34:22 Model theory Formal languages Constraint programming Logical syntax Interpretation Constructible universe Well-formed formula Satisfiability Function Logic Mathematics Mathematical logic
504	TITLE: AN ECONOMETRIC INPUT‐OUTPUT MODEL FOR EU COUNTRIES BASED ON SUPPLY & USE TABLES: THE PRODUCTION SIDE AUTHORS: NEUWAHL, FREDERIK ; UIHLEIN, ANDREAS; GENTY, AURELIEN Add to Reading List Source URL: www.iioa.org Language: English - Date: 2009-10-17 09:30:05 Statistics Technology Business Environmental statistics Official statistics National accounts Economic model Eurostat Production function
505	Minimum Satisfying Assignments for SMT? Isil Dillig1 , Thomas Dillig1 , Kenneth L. McMillan2 , and Alex Aiken3 1 College of William & Mary 2 Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2012-04-19 15:56:45 Model theory Formal languages Metalogic Boolean algebra Interpretation First-order logic Satisfiability Function Well-formed formula Logic Mathematical logic Mathematics
506	Discovering State Invariants Fangzhen Lin Department of Computer Science The Hong Kong University of Science and Technology Clear Water Bay, Kowloon, Hong Kong Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2004-04-15 03:43:01 Model theory Group actions First-order logic Predicate logic Function Prenex normal form FO Emmy Noether Constructible universe Mathematics Mathematical logic Logic
507	LATENT CLASS ANALYSIS WITH SAMPLING WEIGHTS: A MAXIMUM LIKELIHOOD APPROACH Jeroen K. Vermunt Department of Methodology and Statistics, Tilburg University Jay Magidson Statistical Innovations Inc. Add to Reading List Source URL: statisticalinnovations.com Language: English - Date: 2006-09-05 12:15:22 Mathematical analysis Expectation–maximization algorithm Missing data Mixture model Latent class model Latent variable model Weight function Maximum likelihood Statistics Estimation theory Statistical models
508	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 Model theory Predicate logic Skolem normal form Counterexample Free variables and bound variables Universal quantification Function American English Mathematics Logic Mathematical logic
509	Human Carrying Capacity Is Determined by Food Availability Russell Hopfenberg Duke University Simple mathematical models have illustrated the relationship between human carrying capacity and population growth. In this st Add to Reading List Source URL: www.panearth.org Language: English - Date: 2015-04-03 18:17:21 Human geography Food Race Carrying capacity Logistic function Population growth Overpopulation Population model World population Ecology Population Demography Environment
510	LiLT volume 9, issue 1 July 2013 Synthetic logic Alex J. Djalali1 Add to Reading List Source URL: www.stanford.edu Language: English - Date: 2013-11-12 22:35:43 Logical syntax Formal languages Entailment Logical consequence Interpretation Natural deduction Model theory Well-formed formula Function Logic Metalogic Deduction

UPDATE